Fuzzy quasi-metrics for the Sorgenfrey line
نویسندگان
چکیده
منابع مشابه
Fuzzy quasi-metrics for the Sorgenfrey line
We endow the set of real numbers with a family of fuzzy quasi-metrics, in the sense of George and Veeramani, which are compatible with the Sorgenfrey topology. Although these fuzzy quasi-metrics are not deduced explicitly from a quasi-metric, they possess interesting properties related to completeness. For instance, we prove that they are balanced and complete in the sense of Doitchinov and tha...
متن کاملSome Properties of the Sorgenfrey Line and the Sorgenfrey Plane
We first provide a modified version of the proof in [3] that the Sorgenfrey line is T1. Here, we prove that it is in fact T2, a stronger result. Next, we prove that all subspaces of R (that is the real line with the usual topology) are Lindelöf. We utilize this result in the proof that the Sorgenfrey line is Lindelöf, which is based on the proof found in [8]. Next, we construct the Sorgenfrey p...
متن کاملSubspaces of the Sorgenfrey Line
We study three problems which involve the nature of subspaces of the Sorgenfrey Line S. It is shown that no integer power of an uncountable subspace of S can be embedded in a smaller power of S. We review the known results about the existence of uncountable X ⊆ S where X is Lindelöf. These results about Lindelöf powers are quite set-theoretic. A descriptive characterization is given of those su...
متن کاملOn Constructing Topological Spaces and Sorgenfrey Line
We continue Mizar formalization of General Topology according to the book [19] by Engelking. In the article the formalization of Section 1.2 is almost completed. Namely, we formalize theorems on introduction of topologies by bases, neighborhood systems, closed sets, closure operator, and interior operator. The Sorgenfrey line is defined by a basis. It is proved that the weight of it is continuu...
متن کاملConnecting Fuzzy submonoids, fuzzy preorders and quasi-metrics
This paper is an extended abstract of my paper [12] published in Fuzzy Set and Systems. We start from a residuated lattice L and a monoid M , and we define a Galois connection from the lattice of the compatible L-preorders in M and the lattice of L-submonoids of M . Given a set S we define a Galois connection between the lattice of the L-preorders in S and the lattice of L-submonoids of the mon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Sets and Systems
سال: 2013
ISSN: 0165-0114
DOI: 10.1016/j.fss.2012.11.001